منابع مشابه
Constructing Craig Interpolation Formulas
1 Background and Introduction Let 27 and H be two inconsistent first order theories. Then by Craig's Interpolation Theorem, there is a sentence 8, called a Craig interpolant, such that 8 is t rue in 27 and false in H and every nonlogical symbol occurring in 8 occurs in bo th 27 and H. Craig interpolants can be used to solve the problem of learning a first order concept by letting 27 and H be th...
متن کاملStability of Barycentric Interpolation Formulas
The barycentric interpolation formula defines a stable algorithm for evaluation at points in [−1, 1] of polynomial interpolants through data on Chebyshev grids. Here it is shown that for evaluation at points in the complex plane outside [−1, 1], the algorithm becomes unstable and should be replaced by the alternative modified Lagrange or “first barycentric” formula dating to Jacobi in 1825. Thi...
متن کاملInterpolation Formulas and Auxiliary Functions
We prove an interpolation formula for ``semi-cartesian products'' and use it to study several constructions of auxiliary functions. We get in this way a criterion for the values of the exponential map of an elliptic curve E defined over Q. It reduces the analogue of Schanuel's conjecture for the elliptic logarithms of E to a statement of the form of a criterion of algebraic independence. We als...
متن کاملStability of Barycentric Interpolation Formulas for Extrapolation
The barycentric interpolation formula defines a stable algorithm for evaluation at points in [−1, 1] of polynomial interpolants through data on Chebyshev grids. Here it is shown that for evaluation at points in the complex plane outside [−1, 1], the algorithm becomes unstable and should be replaced by the alternative modified Lagrange or “first barycentric” formula dating to Jacobi in 1825. Thi...
متن کاملGauss Interpolation Formulas and Totally Positive Kernels
This paper simplifies and generalizes an earlier result of the author's on Gauss interpolation formulas for the one-dimensional heat equation. Such formulas approximate a function at a point (x*, t*) in terms of a linear combination of its values on an initial-boundary curve in the (x, t) plane. The formulas are characterized by the requirement that they be exact for as many basis functions as ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Institute of Actuaries
سال: 1918
ISSN: 0020-2681,2058-1009
DOI: 10.1017/s0020268100028407